Anonymous function - PDFSEARCH.IO - Document Search Engine

Anonymous function
Results: 196

#	Item
71	Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-23 14:54:00 Software engineering Computing Logic Data types Functional programming Lambda calculus Type theory Logic in computer science Eval Hoare logic Anonymous function Separation logic
72	ZU064-05-FPR expmodel 27 March 2012 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-03-27 14:37:19 Metaprogramming Transformation languages Scheme Functional languages Source code Hygienic macro Macro C preprocessor Anonymous function Constant Lisp Make
73	§1 LESSONS FROM CHEZWEB INTRODUCTION Add to Reading List Source URL: scheme2011.ucombinator.org Language: English - Date: 2014-01-06 09:39:58 Transformation languages Source code Dylan Hygienic macro Metaprogramming Scheme Macro Anonymous function Scope Preprocessor Namespace IMP
74	Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-15 10:51:13 Software engineering Computer programming Computing Subroutines Lambda calculus Functional programming Data types JavaScript Eval Anonymous function Scope Substitution
75	Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document. Add to Reading List Source URL: cheatsheet.codeslower.com Language: English - Date: 2013-07-22 18:47:53 Type theory Functional programming Data types Subroutines Algebraic data type Pattern matching Anonymous function Monad Main function Software engineering Computing Computer programming
76	Mint: A Multi-stage Extension of Java COMP 600 Mathias Ricken Rice University February 8, 2010 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-02-09 20:56:36 Functional programming Subroutines C++ Procedural programming languages C++ classes Lambda C Anonymous function C Sharp syntax Software engineering Computer programming Computing
77	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: ctan.megagod.net Language: English - Date: 2014-09-20 20:34:08 Computer programming Source code Function Graph of a function Parameter Inverse function Subroutine Cartesian coordinate system Anonymous function Mathematics Functions and mappings Elementary mathematics
78	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2014-09-20 20:34:08 Computer programming Source code Function Graph of a function Parameter Inverse function Subroutine Cartesian coordinate system Anonymous function Mathematics Functions and mappings Elementary mathematics
79	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2014-09-20 20:34:08 Computer programming Source code Function Graph of a function Parameter Inverse function Subroutine Cartesian coordinate system Anonymous function Mathematics Functions and mappings Elementary mathematics
80	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2014-09-20 20:34:08 Computer programming Source code Function Graph of a function Parameter Inverse function Subroutine Cartesian coordinate system Anonymous function Mathematics Functions and mappings Elementary mathematics